../TraceSkeleton.java